Handbook of proof theory

Författare
(Edited by Samuel R. Buss.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Elsevier 1998 Nederländerna, Amsterdam 811 sidor.